Matrix generation: 47
Determinant computation: 15
Graph generation: 15
Verification time: 94
Optimization time: 16
Total runtime: 187

Optimization steps:
found positive cycle:
[1]:S_ICP_I50FC_SENSOR(i) +20 < [29]:S_ICP_I50FC_SENSOR(i+1)  has weight 20 and it is valid
[29]:S_ICP_I50FC_SENSOR(i+1)--[42]:S_ICP_I50FC_SENSOR(I)  has weight 0 and it is NOT valid
[42]:S_ICP_I50FC_SENSOR(I) +11 < [43]:E_ICP_I50FC_CMDS(I)  has weight 11 and it is NOT valid
[43]:E_ICP_I50FC_CMDS(I)--[8]:E_ICP_I50FC_CMDS(i)  has weight 0 and it is NOT valid
[8]:E_ICP_I50FC_CMDS(i) -1 < [9]:S_ICP_I50FC_CMDS(i)  has weight -1 and it is valid
[9]:S_ICP_I50FC_CMDS(i) -1 < [26]:S_FCP_O50FC(i)  has weight -1 and it is valid
[26]:S_FCP_O50FC(i) -5 < [5]:S_FCP_P50FC(i)  has weight -5 and it is valid
[5]:S_FCP_P50FC(i) -1 < [3]:S_FCP_I50FC(i)  has weight -1 and it is valid
[3]:S_FCP_I50FC(i) -2 < [1]:S_ICP_I50FC_SENSOR(i)  has weight -2 and it is valid
Circuit weight: 21
This circuit is independent
The edge that will be modified: [1]:S_ICP_I50FC_SENSOR(i) +20 < [29]:S_ICP_I50FC_SENSOR(i+1)
Modified edge: [1]:S_ICP_I50FC_SENSOR(i) +0 < [29]:S_ICP_I50FC_SENSOR(i+1)
found positive cycle:
[1]:S_ICP_I50FC_SENSOR(i)--[42]:S_ICP_I50FC_SENSOR(I)  has weight 0 and it is NOT valid
[42]:S_ICP_I50FC_SENSOR(I) +11 < [43]:E_ICP_I50FC_CMDS(I)  has weight 11 and it is NOT valid
[43]:E_ICP_I50FC_CMDS(I)--[8]:E_ICP_I50FC_CMDS(i)  has weight 0 and it is NOT valid
[8]:E_ICP_I50FC_CMDS(i) -1 < [9]:S_ICP_I50FC_CMDS(i)  has weight -1 and it is valid
[9]:S_ICP_I50FC_CMDS(i) -1 < [26]:S_FCP_O50FC(i)  has weight -1 and it is valid
[26]:S_FCP_O50FC(i) -5 < [5]:S_FCP_P50FC(i)  has weight -5 and it is valid
[5]:S_FCP_P50FC(i) -1 < [3]:S_FCP_I50FC(i)  has weight -1 and it is valid
[3]:S_FCP_I50FC(i) -2 < [1]:S_ICP_I50FC_SENSOR(i)  has weight -2 and it is valid
Circuit weight: 22
This circuit is independent
found positive cycle:
[11]:S_ICP_I10FC_SENSOR(i) +100 < [34]:S_ICP_I10FC_SENSOR(i+1)  has weight 100 and it is valid
[34]:S_ICP_I10FC_SENSOR(i+1)--[44]:S_ICP_I10FC_SENSOR(I)  has weight 0 and it is NOT valid
[44]:S_ICP_I10FC_SENSOR(I) +51 < [45]:E_ICP_I10FC_CMDS(I)  has weight 51 and it is NOT valid
[45]:E_ICP_I10FC_CMDS(I)--[18]:E_ICP_I10FC_CMDS(i)  has weight 0 and it is NOT valid
[18]:E_ICP_I10FC_CMDS(i) -1 < [19]:S_ICP_I10FC_CMDS(i)  has weight -1 and it is valid
[19]:S_ICP_I10FC_CMDS(i) -1 < [17]:S_FCP_O10FC(i)  has weight -1 and it is valid
[17]:S_FCP_O10FC(i) -40 < [15]:S_FCP_P10FC(i)  has weight -40 and it is valid
[15]:S_FCP_P10FC(i) -1 < [13]:S_FCP_I10FC(i)  has weight -1 and it is valid
[13]:S_FCP_I10FC(i) -2 < [11]:S_ICP_I10FC_SENSOR(i)  has weight -2 and it is valid
Circuit weight: 128
This circuit is independent
The edge that will be modified: [11]:S_ICP_I10FC_SENSOR(i) +100 < [34]:S_ICP_I10FC_SENSOR(i+1)
Modified edge: [11]:S_ICP_I10FC_SENSOR(i) -27 < [34]:S_ICP_I10FC_SENSOR(i+1)
found positive cycle:
[11]:S_ICP_I10FC_SENSOR(i)--[44]:S_ICP_I10FC_SENSOR(I)  has weight 0 and it is NOT valid
[44]:S_ICP_I10FC_SENSOR(I) +51 < [45]:E_ICP_I10FC_CMDS(I)  has weight 51 and it is NOT valid
[45]:E_ICP_I10FC_CMDS(I)--[18]:E_ICP_I10FC_CMDS(i)  has weight 0 and it is NOT valid
[18]:E_ICP_I10FC_CMDS(i) -1 < [19]:S_ICP_I10FC_CMDS(i)  has weight -1 and it is valid
[19]:S_ICP_I10FC_CMDS(i) -1 < [17]:S_FCP_O10FC(i)  has weight -1 and it is valid
[17]:S_FCP_O10FC(i) -40 < [15]:S_FCP_P10FC(i)  has weight -40 and it is valid
[15]:S_FCP_P10FC(i) -1 < [13]:S_FCP_I10FC(i)  has weight -1 and it is valid
[13]:S_FCP_I10FC(i) -2 < [11]:S_ICP_I10FC_SENSOR(i)  has weight -2 and it is valid
Circuit weight: 134
This circuit is independent